Characterizations of an (∈, ∈)-neutrosophic ideal are considered. Any ideal in a BCK/BCI-algebra will be realized as level neutrosophic ideals of some (∈, ∈)-neutrosophic ideal. The relation between (∈, ∈)-neutrosophic ideal and (∈, ∈)-neutrosophic subalgebra in a BCK-algebra is discussed. Conditions for an (∈, ∈)-neutrosophic subalgebra to be a (∈, ∈)-neutrosophic ideal are provided. Using a collection of ideals in a BCK/BCI-algebra, an (∈, ∈)-neutrosophic ideal is established. Equivalence relations on the family of all (∈, ∈)-neutrosophic ideals are introduced, and (...) related properties are investigated. (shrink)

In this article, we apply the notion of interval neutrosophic sets to ideal theory in BCK/BCI-algebras.

The notions of a commutative (∈, ∈)-neutrosophic ideal and a commutative falling neutrosophic ideal are introduced, and several properties are investigated. Characterizations of a commutative (∈, ∈)-neutrosophic ideal are obtained. Relations between commutative (∈, ∈)-neutrosophic ideal and (∈, ∈)-neutrosophic ideal are discussed. Conditions for an (∈, ∈)-neutrosophic ideal to be a commutative (∈, ∈)-neutrosophic ideal are established. Relations between commutative (∈, ∈)-neutrosophic ideal, falling neutrosophic ideal and commutative falling neutrosophic ideal are considered. Conditions for a falling neutrosophic ideal to be (...) commutative are provided. (shrink)